package map;

/**rappresenta un evento che trasmette il fatto che una mappa ha cambiato la propria altezza.
 * Ogni evento di questo tipo ha un <tt>action</tt> pari a <tt>UPGRADE>/tt>
 * 
 * @author koldar
 * @version 1.0
 */
public final class MapHeightEvent extends MapEvent<Integer>{

	private static final long serialVersionUID = 5462395352362626314L;

	public MapHeightEvent(AbstractMap source,int newvalue) {
		super(source, MapEvent.UPGRADE, newvalue);
	}

}
